Results for 'Darwin Oliver Lyon'

1000+ found
Order:
  1.  8
    A time experiment in psychophysics.Darwin Oliver Lyon & Henry Lane Eno - 1912 - Psychological Review 19 (4):312-336.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  12
    A time experiment in psychophysics. Part II.Darwin Oliver Lyon & Henry Lane Eno - 1914 - Psychological Review 21 (1):9-22.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  39
    Vaishnavism, antievolutionism, and ambiguities: Revisiting iskcon's darwin‐skepticism.Oliver Zambon & Thomas Aechtner - 2018 - Zygon 53 (1):67-94.
    The International Society of Krishna Consciousness, commonly known as the Hare Krishna Movement, has disseminated a flurry of antievolutionist media since its inception in 1966. Such communications frequently co-opt arguments employed by Christian creationists and Intelligent Design theorists. At the same time, however, there are indications that a scattering of ISKCON publications have articulated relatively ambiguous, less oppositional statements about evolutionary theory. This article reconsiders ISKCON's Darwin-skepticism by appraising recent, largely unexamined Hare Krishna publications, as well as responses to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  11
    Oliver’s Last Soliloquies.Richard C. Lyon - 1991 - Overheard in Seville 9 (9):8-21.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  18
    The origins of T. H. Huxley's saltationism: History in Darwin's shadow.Sherrie L. Lyons - 1995 - Journal of the History of Biology 28 (3):463-494.
  6.  35
    Ethics, Emotion and the Unity of the Self By Oliver Letwin London: Croom Helm, 1988, x + 132 pp., £22.50. [REVIEW]Ardon Lyon - 1989 - Philosophy 64 (250):569-.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  13
    Das Prinzip Evolution: Darwin und die Folgen für Religionstheorie und Philosophie.Mariano Delgado, Oliver Krüger & Guido Vergauwen (eds.) - 2010 - [Stuttgart]: W. Kohlhammer GmbH Stuttgart.
    Die Schlusssatze von Darwins Entstehung der Arten formulieren ein Prinzip, das weit uber die Biologie hinaus einflussreich wurde: "Es ist wahrlich eine grossartige Ansicht, dass der Schopfer den Keim allen Lebens, das uns umgibt, nur wenigen oder nur einer einzigen Form eingehaucht habe, und dass... aus so einfachem Anfang sich eine endlose Reihe immer schonerer und vollkommenerer Wesen entwickelt hat und noch fort entwickelt." Die Autoren dieses Bandes beschaftigen sich mit dem Evolutionsgedanken im Christentum und Islam, gehen dem Zusammenhang von (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  39
    The future of philosophy: towards the twenty-first century.Oliver Leaman (ed.) - 1998 - New York: Routledge.
    Where is philosophy going? Are we entering a post-philosophy millennium? The Future of Philosophy presents the notion of what the future of philosophy is as a crucial concept, since it allows us to speculate not only on the future, but also on the past. The insightful essays consider a variety of issues, from ethics to mind, language to feminist thought, postmodernism to religion. Contributors: Peter Edwards, Lenn Goodman, Sean Hand, Heta Hayry, Matti Hayry, Gill Howie, Oliver Leaman, Harry Lesser, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  14
    Bloomsbury Scientists: Science and Art in the Wake of Darwin.Oliver Hill-Andrews - 2018 - Annals of Science 75 (2):159-160.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. LETWIN, OLIVER Ethics, Emotion and the Unity of the Self. [REVIEW]Ardon Lyon - 1989 - Philosophy 64:569.
     
    Export citation  
     
    Bookmark  
  11.  36
    The Correspondence of Charles Darwin. Volume 11: 1863 by Charles Darwin; Frederick Burkhardt; Duncan M. Porter; Sheila Ann Dean; Jonathan R. Topham; Sarah Wilmot. [REVIEW]Sherrie Lyons - 2001 - Isis 92:798-799.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  23
    The Correspondence of Charles Darwin. Volume 11: 1863. Charles Darwin, Frederick Burkhardt, Duncan M. Porter, Sheila Ann Dean, Jonathan R. Topham, Sarah Wilmot. [REVIEW]Sherrie Lyons - 2001 - Isis 92 (4):798-799.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  10
    Evolution: The Basics.Sherrie Lynne Lyons - 2011 - Routledge.
    Evolution: The Basics is an engaging introduction to the history, development and science of the theory of evolution. Beginning pre-Darwin and concluding with the latest research and controversies, readers are introduced to the origins of the idea of evolution, the ways in which it has developed and been adapted over time and the science underpinning it all. Topics addressed include: • early theories of evolution • the impact of Darwin’s On the Origin of Species • the discovery of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  31
    Thomas huxley: Fossils, persistence, and the argument from design.Sherrie L. Lyons - 1993 - Journal of the History of Biology 26 (3):545-569.
    In struggling to free science from theological implications, Huxley let his own philosophical beliefs influence his interpretation of the data. However, he was certainly not unique in this respect. Like the creationists he despised, he made many important contributions to the issue of progression in the fossil record and its relationship to evolutionary theory. Certainly other factors were involved as well. Undoubtedly, just the sheer inertia of ideas played a role. He was committed to a theory of type and was (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  9
    A Book That Shook the World: Essays on Charles Darwin’s Origin of Species.Julian S. Huxley, Theodosius Dobzhansky, Reinhold Niebuhr, Oliver L. Reiser & Swami Nikhilananda - 1958 - University of Pittsburgh Press.
    This collection features five essays from noted theologians, philosophers, geneticists, and biologists who discuss the sweeping impact of Charles Darwin's _On the Origin of Species_ on their respective fields. This volume, edited by Ralph Buchsbaum, professor of biology at the University of Pittsburgh, was published to celebrate the centenary of Darwin's announcement in 1858, along with Alfred Russel Wallace, of their independent discovery of the process of natural selection. Darwin's book was published one year later.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  59
    Serendipity: fortune and the prepared mind.Mark de Rond & Iain Morley (eds.) - 2010 - New York: Cambridge University Press.
    Since 1986 Darwin College, Cambridge has organised a series of annual public lectures built around a single theme approached in a multi-disciplinary way. These essays were developed from the 2008 lectures, which explored the idea of serendipity – the relationship between good fortune and the preparation of the mind to spot and exploit it. Serendipity is an appealing concept, and one which has been surprisingly influential in a great number of areas of human discovery. The essays collected in this (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. The explanatory power of phase spaces.Aidan Lyon & Mark Colyvan - 2008 - Philosophia Mathematica 16 (2):227-243.
    David Malament argued that Hartry Field's nominalisation program is unlikely to be able to deal with non-space-time theories such as phase-space theories. We give a specific example of such a phase-space theory and argue that this presentation of the theory delivers explanations that are not available in the classical presentation of the theory. This suggests that even if phase-space theories can be nominalised, the resulting theory will not have the explanatory power of the original. Phase-space theories thus raise problems for (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   107 citations  
  18. Mathematical Explanations Of Empirical Facts, And Mathematical Realism.Aidan Lyon - 2012 - Australasian Journal of Philosophy 90 (3):559-578.
    A main thread of the debate over mathematical realism has come down to whether mathematics does explanatory work of its own in some of our best scientific explanations of empirical facts. Realists argue that it does; anti-realists argue that it doesn't. Part of this debate depends on how mathematics might be able to do explanatory work in an explanation. Everyone agrees that it's not enough that there merely be some mathematics in the explanation. Anti-realists claim there is nothing mathematics can (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   76 citations  
  19.  89
    Surveillance, Snowden, and Big Data: Capacities, consequences, critique.David Lyon - 2014 - Big Data and Society 1 (2).
    The Snowden revelations about National Security Agency surveillance, starting in 2013, along with the ambiguous complicity of internet companies and the international controversies that followed provide a perfect segue into contemporary conundrums of surveillance and Big Data. Attention has shifted from late C20th information technologies and networks to a C21st focus on data, currently crystallized in “Big Data.” Big Data intensifies certain surveillance trends associated with information technology and networks, and is thus implicated in fresh but fluid configurations. This is (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   43 citations  
  20.  80
    Tweetjacked: The Impact of Social Media on Corporate Greenwash.Thomas P. Lyon & A. Wren Montgomery - 2013 - Journal of Business Ethics 118 (4):747-757.
    We theorize that social media will reduce the incidence of corporate greenwash. Drawing on the management literature on decoupling and the economic literature on information disclosure, we characterize specifically where this effect is likely to be most pronounced. We identify important differences between social media and traditional media, and present a theoretical framework for understanding greenwash in which corporate environmental communications may backfire if citizens and activists feel a company is engaging in excessive self-promotion. The framework allows us to draw (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  21. Deterministic Probability: Neither chance nor credence.Aidan Lyon - 2011 - Synthese 182 (3):413-432.
    Some have argued that chance and determinism are compatible in order to account for the objectivity of probabilities in theories that are compatible with determinism, like Classical Statistical Mechanics (CSM) and Evolutionary Theory (ET). Contrarily, some have argued that chance and determinism are incompatible, and so such probabilities are subjective. In this paper, I argue that both of these positions are unsatisfactory. I argue that the probabilities of theories like CSM and ET are not chances, but also that they are (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  22.  46
    Jesus in Disneyland: Religion in Postmodern Times.David Lyon - 2000 - Wiley.
    In this lively and accessible study, David Lyon explores the relationship between religion and postmodernity, through the central metaphor of 'Jesus in Disneyland.' Contemporary disciples of Jesus have used Disneyland for religious events, whilst Disney characters are now probably better known throughout the world than many biblical figures. But this book cautions against seeing it as a simple substitution. Rather, Lyon shows how this metaphor reveals highly innovative and potentially enduring features of contemporary spiritual quests. In the West, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  23. On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.
    This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24. Vague Credence.Aidan Lyon - 2017 - Synthese 194 (10):3931-3954.
    It is natural to think of precise probabilities as being special cases of imprecise probabilities, the special case being when one’s lower and upper probabilities are equal. I argue, however, that it is better to think of the two models as representing two different aspects of our credences, which are often vague to some degree. I show that by combining the two models into one model, and understanding that model as a model of vague credence, a natural interpretation arises that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  25. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.Tim Lyon, Alwen Tiu, Rajeev Gore & Ranald Clouston - 2020 - In Maribel Fernandez & Anca Muscholl (eds.), 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). pp. 1-16.
    We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  26. Refining Labelled Systems for Modal and Constructive Logics with Applications.Tim Lyon - 2021 - Dissertation, Technischen Universität Wien
    This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. The Immutable Laws of Nature.Ardon Lyon - 1977 - Proceedings of the Aristotelian Society 77:107 - 126.
    Ardon Lyon; VIII*—The Immutable Laws of Nature1, Proceedings of the Aristotelian Society, Volume 77, Issue 1, 1 June 1977, Pages 107–126, https://doi.org/10.109.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Why are Normal Distributions Normal?Aidan Lyon - 2014 - British Journal for the Philosophy of Science 65 (3):621-649.
    It is usually supposed that the central limit theorem explains why various quantities we find in nature are approximately normally distributed—people's heights, examination grades, snowflake sizes, and so on. This sort of explanation is found in many textbooks across the sciences, particularly in biology, economics, and sociology. Contrary to this received wisdom, I argue that in many cases we are not justified in claiming that the central limit theorem explains why a particular quantity is normally distributed, and that in some (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  29.  84
    Universal Law and Poverty Relief.Oliver Sensen - 2022 - Ethical Theory and Moral Practice 26 (2):177-190.
    In this article, I examine what Kant’s Formula of Universal Law requires of an individual agent in situations of great need, e.g.: if you can easily help a drowning child, or if you know of a famine situation in another country. I first explain why I do not simply apply the standard interpretation of how one can derive concrete duties from Kant’s Universal Law formulation of the Categorical Imperative. I then glean an alternative procedure from Kant’s texts and give the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30. Kant's Conception of Human Dignity.Oliver Sensen - 2009 - Kant Studien 100 (3):309-331.
    In this article I argue that Kant's conception of dignity is commonly misunderstood. On the basis of a few passages in the Grundlegung scholars often attribute to Kant a view of dignity as an absolute inner value all human beings possess. However, a different picture emerges if one takes into account all the passages in which Kant uses ‘dignity’. I shall argue that Kant's conception of dignity is a more Stoic one: He conceives of dignity as sublimity ( Erhabenheit ) (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  31. What is God?J. Oliver Buswell - 1937 - Grand Rapids, MI: Zondervan Pub. House.
    No categories
     
    Export citation  
     
    Bookmark  
  32. From quorum to cooperation: Lessons from bacterial sociality for evolutionary theory.Pamela Lyon - 2007 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 38 (4):820-833.
    Copyright © 2007 Elsevier Ltd All rights reserved.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33.  42
    Through the Psychedelic Looking-Glass: The importance of phenomenal transparency in psychedelic transformation.Aidan Lyon & Anya Farennikova - 2022 - Philosophy and the Mind Sciences 3.
    What makes psychedelic psychotherapy work? Is it the induction of psychedelic experience, with its distinct patterns of hallucinations and insights, or is it the neural ‘shakeup’ that moves the brain out of its regular mode of functioning and into a more disordered state? We consider the role that attention-related phenomenological changes play in psychedelic transformation and psychotherapy. We review Letheby’s account of psychedelic psychotherapy, which appeals to increases in phenomenal opacity as the central mechanism of psychotherapeutic transformation. We argue that (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Philosophy of Probablilty.Aidan Lyon - 2009 - In Fritz Allhoff (ed.), Philosophies of the Sciences: A Guide. Malden, MA: Wiley-Blackwell.
    In the philosophy of probability there are two central questions we are concerned with. The first is: what is the correct formal theory of probability? Orthodoxy has it that Kolmogorov’s axioms are the correct axioms of probability. However, we shall see that there are good reasons to consider alternative axiom systems. The second central question is: what do probability statements mean? Are probabilities “out there”, in the world as frequencies, propensities, or some other objective feature of reality, or are probabilities (...)
     
    Export citation  
     
    Bookmark   6 citations  
  35. Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.Tim Lyon - 2021 - In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. pp. 409-427.
    We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Causality.Ardon Lyon - 1967 - British Journal for the Philosophy of Science 18 (1):1-20.
    In this article I try to give an account of the meaning of phrases of the form ‘A causes B’ as they are most usefully used in everyday life and the applied sciences. This account covers narrower uses of such phrases, but we find that in our usage of the term, ‘A causes B’ neither entails nor is entailed by ‘A is always followed by B’. Logically necessary and sufficient conditions of this general term can be given, however, by reference (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  37. Biometrics, identification and surveillance.David Lyon - 2008 - Bioethics 22 (9):499-508.
    Governing by identity describes the emerging regime of a globalizing, mobile world. Governance depends on identification but identification increasingly depends on biometrics. This 'solution' to difficulties of verification is described and some technical weaknesses are discussed. The role of biometrics in classification systems is also considered and is shown to contain possible prejudice in relation to racialized criteria of identity. Lastly, the culture of biometric identification is shown to be limited to abstract data, artificially separated from the lived experience of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  38. Human dignity in historical perspective: The contemporary and traditional paradigms.Oliver Sensen - 2011 - European Journal of Political Theory 10 (1):71-91.
    Over the last 60 years the idea of human dignity has become increasingly prominent in the political discourse on human rights. In United Nations documents, for instance, human dignity is currently presented as the justification for human rights. In this paper I shall argue that the contemporary way in which human dignity is thought to ground human rights is very different from the way human dignity has been understood traditionally. My aim is to contrast the contemporary paradigm of dignity to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  39.  36
    An Anatomy of Thought the Origin and Machinery of Mind.Ian Glynn - 1999 - Oxford University Press.
    Love, fear, hope, calculus, and game shows-how do all these spring from a few delicate pounds of meat? Neurophysiologist Ian Glynn lays the foundation for answering this question in his expansive An Anatomy of Thought, but stops short of committing to one particular theory. The book is a pleasant challenge, presenting the reader with the latest research and thinking about neuroscience and how it relates to various models of consciousness. Combining the aim of a textbook with the style of a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  6
    What is Rhythmanalysis?Dawn Lyon - forthcoming - Rhuthmos.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  29
    Environmental complexity, adaptability and bacterial cognition: Godfrey-Smith’s hypothesis under the microscope.Pamela Lyon - 2017 - Biology and Philosophy 32 (3):443-465.
    The paper presents evidence in bacteria for the utility of Godfrey-Smith’s environmental complexity thesis, using certain kinds of signal transduction systems as proxies for cognitive/behavioral complexity. Microbiologists already accept that the number of signal transduction proteins in a bacterial genome indicates the level of ecological complexity to which the organism is subject: the more signalling proteins, the greater the complexity. Sheer numbers are not always a reliable indicator of behavioral complexity, however. The paper proposes a new, ECT-based procedure for identifying, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  42.  3
    Intentions: Negotiated, Contested, and Ignored.Arabella Lyon - 1998 - Pennsylvania State University Press.
    The relationship between an author's and an audience's intentions is complex but need not preclude mutual engagement. This philosophical investigation challenges existing literary and rhetorical perspectives on intention and offers a new framework for understanding the negotiation of meaning. It describes how an audience's intentions affect their interpretations, shows how audiences negotiate meaning when faced with a writer's undecipherable intentions, and defines the scope of understanding within rhetorical situations. Introducing a concept of intention into literary analysis that supersedes existing rhetorical (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  57
    The logic of reliable and efficient inquiry.Oliver Schulte - 1999 - Journal of Philosophical Logic 28 (4):399-438.
    This paper pursues a thorough-going instrumentalist, or means-ends, approach to the theory of inductive inference. I consider three epistemic aims: convergence to a correct theory, fast convergence to a correct theory and steady convergence to a correct theory (avoiding retractions). For each of these, two questions arise: (1) What is the structure of inductive problems in which these aims are feasible? (2) When feasible, what are the inference methods that attain them? Formal learning theory provides the tools for a complete (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  44.  29
    Kant on Moral Autonomy.Oliver Sensen (ed.) - 2012 - Cambridge University Press.
    The concept of autonomy is one of Kant's central legacies for contemporary moral thought. We often invoke autonomy as both a moral ideal and a human right, especially a right to determine oneself independently of foreign determinants; indeed, to violate a person's autonomy is considered to be a serious moral offence. Yet while contemporary philosophy claims Kant as the originator of its notion of autonomy, Kant's own conception of the term seems to differ in important respects from our present-day interpretation. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  45.  9
    Virtue and medical ethics education.Will Lyon - 2021 - Philosophy, Ethics, and Humanities in Medicine 16 (1):1-4.
    The traditional structure of medical school curriculum in the United States consists of 2 years of pre-clinical study followed by 2 years of clinical rotations. In this essay, I propose that this curricular approach stems from the understanding that medicine is both a science, or a body of knowledge, as well as an art, or a craft that is practiced. I then argue that this distinction between science and art is also relevant to the field of medical ethics, and that (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. Springer. pp. 202-218.
    This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  95
    The prediction paradox.Ardon Lyon - 1959 - Mind 68 (272):510-517.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  48.  40
    Surveillance and the Eye of God.David Lyon - 2014 - Studies in Christian Ethics 27 (1):21-32.
    Surveillance is sometimes spoken of as a God’s eye view of the world. This idea is explored in relation to the ‘objective gaze’ of disengaged reason in the Enlightenment and its technologically-reinforced modes in the twenty-first century. The rise of the eye-centred viewpoint is coincident with the ‘great disembedding’ of individuals from the social. This in turn also prompted the self-disciplines of modernity, which are now key aspects of the power-base of modern institutions. A crucial moment in this shift was (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  76
    Formal learning theory.Oliver Schulte - 2008 - Stanford Encyclopedia of Philosophy.
    Formal learning theory is the mathematical embodiment of a normative epistemology. It deals with the question of how an agent should use observations about her environment to arrive at correct and informative conclusions. Philosophers such as Putnam, Glymour and Kelly have developed learning theory as a normative framework for scientific reasoning and inductive inference.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  50.  54
    Unveiling The Headscarf Debate.Dawn Lyon & Debora Spini - 2004 - Feminist Legal Studies 12 (3):333-345.
    In March 2004 the French parliament controversially adopted legislation regulating the wearing of symbols indicating religious affiliation in public educational establishments. This note discusses several features of the new law indicating its origins, its rationale and its position within French constitutional discourse on religious freedom and secularity. It is based on a panel discussion held in April 2004 within the Gender Studies Programme at the Robert Schuman Centre for Advanced Studies, European University Institute, Florence. Placing the French legislative initiative in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 1000